Prova de Conhecimento Zero

A SP1 zkVM é uma máquina virtual de conhecimento zero de uso geral que permite aos programadores escrever qualquer programa em Rust e gerar provas ZK verificáveis. É especialmente adequada para computação entre cadeias, escalabilidade com rollup e computação verificável por IA. Por outro lado, a zkEVM concentra-se na geração de provas compatíveis com o ecossistema Ethereum, principalmente para negociação on-chain e verificação de contrato inteligente. Estas duas soluções diferem significativamente em programabilidade, eficiência de verificação, Hashrate descentralizado e integração no ecossistema, permitindo aos programadores escolher a infraestrutura ZK ideal com base nas necessidades específicas das suas aplicações.

SP1 zkVM é uma máquina virtual de conhecimento zero (zkVM) de uso geral, desenvolvida pela Succinct, que permite aos programadores escrever programas em Rust e gerar automaticamente provas ZK. O seu processo principal inclui: compilar programas Rust em instruções RISC-V, executá-los na zkVM para produzir um execution trace, converter o trace numa prova STARK, comprimi-la numa prova SNARK e, por fim, submetê-la para verificação on-chain.

A Prover Network da Succinct é um mercado descentralizado de hashrate para provas de conhecimento zero (ZK Proof), que liga solicitadores de Proof a nodos Prover globais. Os programadores submetem código de programa e dados de entrada para iniciar pedidos de Proof. O Auctioneer da rede atribui tarefas com base no custo, velocidade e reputação dos nodos. De seguida, os nodos Prover executam o programa no SP1 zkVM, geram a ZK Proof e submetem-na para verificação e liquidação on-chain.

A Succinct é uma rede descentralizada de zero-knowledge proof (ZK Proof) construída sobre a Ethereum, oferecendo aos programadores uma infraestrutura programável e de baixa barreira para a geração de Provas. Com o seu componente principal, o SP1 zkVM, os programadores podem escrever programas verificáveis diretamente em linguagens de uso geral, como Rust, eliminando a necessidade de desenhar manualmente circuitos ZK complexos. A Succinct Prover Network conecta pedidos de Prova a recursos globais de hashrate através de um mercado aberto de provadores, facilitando a geração, verificação e liquidação de Provas.

A Succinct e a RISC Zero oferecem ambas infraestrutura de prova de conhecimento zero (ZK Proof), mas os seus objetivos de conceção são distintos. A Succinct dá prioridade a um mercado de provas descentralizado e a uma camada de verificação universal, o que permite a verificação entre cadeias, rollup e computação verificável de IA através do SP1 zkVM e da Rede de Provadores. Em contraste, a RISC Zero centra-se em ambientes de execução verificáveis e na experiência do programador, e aproveita a arquitetura RISC-V para reduzir a barreira ao desenvolvimento de aplicações ZK. As duas soluções diferem de forma significativa na arquitetura zkVM, nos fluxos de trabalho de geração de provas, nos mecanismos económicos, no posicionamento no ecossistema e nos casos de uso aplicáveis.

A Nexus e a zkSync são projetos essenciais no domínio das zero-knowledge proof (ZK), embora tenham objetivos centrais diferentes. A zkSync atua principalmente como uma solução de escalabilidade zkRollup para a Ethereum, destinada a melhorar a capacidade de negociação em Layer2 e a diminuir as taxas de Gas. Por sua vez, a Nexus dedica-se à computação verificável e a uma rede distribuída de provas, procurando desenvolver infraestrutura zk que suporte a IA e as finanças verificáveis.

A Verifiable Finance constitui uma estrutura financeira on-chain que combina provas de conhecimento zero (ZK) com computação verificável. Visa sobretudo aumentar a eficiência na verificação de sistemas financeiros complexos, assegurando simultaneamente transparência e descentralização. Em oposição às finanças on-chain tradicionais, que se focam sobretudo na negociação de ativos e na gestão de liquidez, a Verifiable Finance coloca a verificabilidade da lógica financeira no centro das suas prioridades.

A Nexus zkVM é a Zero-Knowledge Virtual Machine integrada na rede Nexus, projetada para gerar as respetivas provas de zero conhecimento (provas zk) após a execução de programas, tornando possível a verificação da computação. Diferenciando-se das máquinas virtuais tradicionais, que apenas executam programas, a zkVM comprova igualmente que o programa foi executado em conformidade com a lógica previamente definida e permite que outros Nodos validem os resultados sem necessidade de reexecutar o programa.

Nexus (NEX) é uma blockchain Layer 1 que recorre a provas de conhecimento zero (ZK) e à arquitetura zkVM, centrando-se na oferta de computação e finanças verificáveis. A arquitetura principal integra uma rede de prova modular, mecanismos de verificação distribuída e uma camada de execução de elevado desempenho, possibilitando a verificação on-chain de cálculos complexos com custos reduzidos.

ZEROBASE (ZBT) é uma rede de computação descentralizada que recorre a provas de conhecimento zero (ZK), desenvolvida especificamente para disponibilizar infraestrutura verificável no processamento de dados on-chain e computação de privacidade. À medida que as aplicações Blockchain evoluem para casos de utilização mais exigentes em termos de dados e conformidade, a ZEROBASE possibilita processamento de dados de elevado desempenho, baixa latência e verificação garantida.

Um contrato inteligente de privacidade é um tipo de contrato inteligente que oculta os dados durante a execução, permitindo ao mesmo tempo verificar a sua correção. A Aztec oferece privacidade programável ao recorrer a provas de zero conhecimento zkSNARK, a um ambiente de execução privado e à linguagem de programação Noir. Assim, os programadores conseguem definir com precisão que dados ficam públicos e quais permanecem confidenciais. Esta abordagem resolve as preocupações de privacidade associadas à transparência da Blockchain e cria uma base robusta para DeFi, soluções de identidade e aplicações empresariais.

Zcash, Tornado Cash e Aztec ilustram três abordagens principais à privacidade em blockchain: cadeias públicas de privacidade, protocolos de mixing e soluções de privacidade de Layer 2. Zcash permite pagamentos anónimos recorrendo a zkSNARKs, Tornado Cash elimina as ligações entre transações através de coin mixing e Aztec recorre à tecnologia zkRollup para disponibilizar um ambiente de execução programável com privacidade. Estas soluções distinguem-se de forma significativa nas respetivas arquiteturas técnicas, âmbito funcional e normas de conformidade, refletindo a evolução da tecnologia de privacidade de ferramentas isoladas para uma infraestrutura essencial.

A arquitetura de rede da Aztec integra o Sequencer, o Prover e o modelo de programação Noir. O Sequencer gere a ordem das negociações e constrói os blocos, o Prover produz provas de zero conhecimento para validar a exatidão computacional, e o Noir é uma linguagem de programação zk desenhada para aplicações de privacidade, permitindo aos programadores criar contratos inteligentes de privacidade programáveis. Com esta coordenação, a Aztec garante uma execução verificável e de elevado desempenho, mantendo uma forte privacidade.

Aztec (AZTEC) é uma rede Layer 2 orientada para a privacidade, desenvolvida sobre Ethereum, que recorre à tecnologia de prova de conhecimento zero zkSNARK para disponibilizar um ambiente de execução de Contrato inteligente programável com privacidade. Ao contrário da transparência total das Blockchain tradicionais, Aztec encripta os Dados de negociação e implementa uma arquitetura de execução dupla — execução privada e execução pública — permitindo aos utilizadores proteger dados sensíveis sem comprometer a segurança ou a verificabilidade. O principal objetivo passa por introduzir privacidade em DeFi, identidade, pagamentos e outros casos de utilização semelhantes, promovendo a transição da Blockchain de "cheio de transparência" para um novo paradigma de "divulgação seletiva".

Como um dos pioneiros no setor a introduzir provas de reservas, a Gate.com vai adotar a tecnologia ZK-Snark para melhorar a sua prova de reservas, fornecendo aos utilizadores uma proteção superior de segurança de ativos e privacidade.